Boolean algebra

Results: 1241



#Item
831Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: osl.ugr.es

Language: English - Date: 2013-08-06 13:14:53
832Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.asis.io

Language: English - Date: 2013-08-06 13:14:53
833Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirrors.dotsrc.org

Language: English - Date: 2013-08-06 13:14:53
834Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.ctex.org

Language: English - Date: 2013-08-06 12:14:00
835Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.eq.uc.pt

Language: English - Date: 2013-08-06 12:14:00
836Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.uib.no

Language: English - Date: 2013-08-06 13:14:53
837Mathematics / Boolean algebra / Equivalence of categories / Unitary group / Order theory / Abstract algebra / Adjoint functors / Algebra

Ramsey properties of finite measure algebras and topological dynamics of the group of measure preserving automorphisms: some results and an open problem A.S. Kechris, M. Soki´c and S. Todorcevic

Add to Reading List

Source URL: math.caltech.edu

Language: English - Date: 2012-09-11 18:12:51
838Digital electronics / Variables / Algebraic logic / Quasi Delay Insensitive / Soft error / Final / Circuit / Hazard / Boolean algebra / Computing / Mathematics / Software engineering

Soft-error Robustness in QDI Circuits Wonjin Jang, Alain J. Martin Computer Science Department California Institute of Technology Pasadena, CA[removed]Abstract

Add to Reading List

Source URL: www.async.caltech.edu

Language: English - Date: 2006-12-08 14:20:39
839Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.hmc.edu

Language: English - Date: 2013-08-06 13:14:53
840Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ossm.utm.my

Language: English - Date: 2013-08-06 13:14:53
UPDATE